Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
191	JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014 Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-30 12:26:27 Computing Software engineering Computer programming Cross-platform software Java Data types Procedural programming languages Type conversion Type theory Relational operator C Integer overflow
192	Reverse-Engineering the Literature on Design Patterns and Reverse-Engineering Simon Denier, Foutse Khomh, and Yann-Ga¨el Gu´eh´eneuc Ptidej Team DIRO, Universit´e de Montr´eal and ´ Add to Reading List Source URL: swat.polymtl.ca Language: English - Date: 2008-10-20 20:25:04 Design Software engineering Software design patterns Academia Architectural theory Visual arts Software development Architectural pattern Pattern Object-oriented programming Interaction design pattern Pattern language
193	Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:36 Software engineering Programming language theory Computing C Struct ALGOL 68 BurrowsAbadiNeedham logic OK -calculus
194	Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Utah Salt Lake City, Utah 84112 Add to Reading List Source URL: swig.org Language: English - Date: 2008-03-12 19:12:21 Software engineering Computer programming Programming language theory Cross-platform software Object-oriented programming languages Scripting languages High-level programming languages Procedural programming languages SWIG Python Entry point D
195	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
196	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Logic in computer science Lambda calculus Theoretical computer science Computability theory Combinatory logic A New Kind of Science Programming language Computer programming
197	PDF Document Add to Reading List Source URL: aplas12.kuis.kyoto-u.ac.jp Language: English - Date: 2012-08-27 03:23:05 Programming language theory Model checking Mathematical logic
198	Topics Advanced Topics in R Programming In the 2 lectures I will present, we’ll try to cover: General questions (R, ad hoc networks, programming, Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2005-10-31 00:03:10 Programming language theory Procedural programming languages Garbage collection Data types Garbage Fragmentation ALGOL 68 C Variable Computing Software engineering Memory management
199	SYSTEMS SECURITY Editors: Patrick McDaniel, \| Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto Add to Reading List Source URL: langsec.org Language: English - Date: 2014-04-02 21:43:44 Computability theory Theory of computation Models of computation Turing machine Markup languages Parsing Halting problem Software bug Programming language Theoretical computer science Computer science Computing
200	Alias Analysis for Intermediate Code Sanjiv K. Gupta Naveen Sharma System Software Group Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Pointer Aliasing Addressing mode Alias analysis Programming language theory Computing Software engineering

UPDATE